Fujita
id_total, 2.497408428
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.021729262
id_inclusion_check_mod_p, 0.041188947
id_groebner_time, 0.087792763
id_beautifulization, 0.296519379
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 306.0
